Program transformation - PDFSEARCH.IO - Document Search Engine

Program transformation
Results: 424

#	Item
31	Transformation-aware Exploit Generation using a HICFG Dan Caselden Alex Bazhanyuk Mathias Payer Laszlo Szekeres Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computer memory Computing Software bugs Software engineering Cyberwarfare Buffer overflow Program analysis Control flow graph Data buffer Data-flow analysis Vulnerability
32	Fourier Transformation in the p -adic Langlands program — p -ADICS 2015 Enno Nagel http://www.math.jussieu.fr/~nagel Add to Reading List Source URL: p-adics2015.matf.bg.ac.rs Language: English - Date: 2015-09-22 17:22:14
33	Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Programming language theory Abstract interpretation Symbolic execution Program analysis KeY Disassembler Pattern matching Forth Symbolic Concolic testing
34	xmlsummerschool.com 11–16 September 2016 St Edmund Hall, Oxford The XML Summer School is a unique training event for everyone using, designing, or implementing solutions using XML-related Add to Reading List Source URL: xmlsummerschool.com Language: English Markup languages Functional languages Transformation languages Technical communication XSLT XQuery XSL XML Certification Program
35	xmlsummerschool.com 11–16 September 2016 St Edmund Hall, Oxford The XML Summer School is a unique training event for everyone using, designing, or implementing solutions using XML-related technologies. Add to Reading List Source URL: xmlsummerschool.com Language: English - Date: 2016-03-07 15:46:04 Computing Markup languages Functional languages Transformation languages Technical communication XSLT XQuery XSL XML Certification Program
36	Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English
37	AB 770 – Assemblymember Jacqui Irwin As amended August 18, 2015 Basic Skills and Student Outcomes Transformation Program Implementation THE PROBLEM California community colleges are the gateway to opportunity for nearl Add to Reading List Source URL: collegecampaign.org Language: English - Date: 2015-08-19 19:02:41
38	Program Transformation and Verification are Interrelated (Invited Talk) David Monniaux VERIMAG CNRS - University of Grenoble France Add to Reading List Source URL: refal.botik.ru - Date: 2015-03-05 15:13:23
39	Transformation-aware Exploit Generation using a HICFG Dan Caselden Alex Bazhanyuk Mathias Payer Laszlo Szekeres Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-16 23:27:09 Computer memory Computing Software bugs Software engineering Cyberwarfare Buffer overflow Program analysis Control flow graph Data buffer Data-flow analysis Vulnerability
40	Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation http://costa.ls.fi.upm.es/lopstr12/ 18–20 September, 2012, Leuven, Belgium (co-located with PPDP 2012) Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2011-12-14 00:30:08